Programming language

Results: 18056



#Item
51

Experience with Randomized Testing in Programming Language Metatheory Casey Klein August 6, 2009 Abstract We explore the use of QuickCheck-style randomized testing in programming

Add to Reading List

Source URL: plt.eecs.northwestern.edu

- Date: 2010-01-04 10:59:22
    52

    OpenMP Technical Report 6: Version 5.0 Preview 2 This Technical Report augments the OpenMP 4.5 Application Programming Interface Specification with language features for concurrent loops, task reductions, a runtime inter

    Add to Reading List

    Source URL: www.openmp.org

    - Date: 2017-11-09 16:46:50
      53

      RustFest Join us for Europe’s first conference dedicated to Rust programming language. Registration (pass) included 50% discount on additional passes

      Add to Reading List

      Source URL: 2016.rustfest.eu

      - Date: 2017-02-15 15:43:42
        54

        Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog

        Add to Reading List

        Source URL: www.sci.brooklyn.cuny.edu

        - Date: 2011-02-23 16:01:36
          55

          CSSE 403: Programming Language Paradigms Instructor: Dr. Mike Hewner (feel free to call me Buffalo) Email: Office Phone: Cell Phone: it often can be better to text me at

          Add to Reading List

          Source URL: files.hewner.com

          - Date: 2016-12-16 17:03:44
            56

            banner above paper title Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev

            Add to Reading List

            Source URL: www.cs.unibo.it

            - Date: 2016-07-28 05:45:11
              57

              Why design a new programming language? The Mezzo case François Pottier Jonathan Protzenko

              Add to Reading List

              Source URL: jonathan.protzenko.fr

              - Date: 2015-11-24 20:09:36
                58

                Programming Language Abstractions for Modularly Verified Distributed Systems James R. Wilcox1 , Ilya Sergey2 , and Zachary Tatlock3 1 2 3

                Add to Reading List

                Source URL: drops.dagstuhl.de

                - Date: 2017-04-30 08:16:26
                  59

                  Call for Contributions Submission Formats Scala is a general purpose programming language designed to express common programming patterns in a

                  Add to Reading List

                  Source URL: ps.informatik.uni-tuebingen.de

                  - Date: 2017-04-20 10:14:16
                    60

                    Testing Source Code with the Logic Programming Language Prolog Master Thesis Thomas Handwerker

                    Add to Reading List

                    Source URL: www1.pub.informatik.uni-wuerzburg.de

                    - Date: 2016-08-02 05:40:34
                      UPDATE